Now xc_ia64_get_pfn_list() isn't used anymore. Make it static.
Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
return FPSR_DEFAULT;
}
-int
+static int
xc_ia64_get_pfn_list(int xc_handle, uint32_t domid, xen_pfn_t *pfn_buf,
unsigned int start_page, unsigned int nr_pages)
{
unsigned long xc_ia64_fpsr_default(void);
-int xc_ia64_get_pfn_list(int xc_handle, uint32_t domid,
- xen_pfn_t *pfn_buf,
- unsigned int start_page, unsigned int nr_pages);
-
int xc_copy_to_domain_page(int xc_handle, uint32_t domid,
unsigned long dst_pfn, const char *src_page);